#ifndef _I386_HW_H
#define _I386_HW_H

#include "config.h"

#ifdef I386_SERIAL_HW
void init_serial_hw();
void serial_putchar(char ch);
#endif /* I386_SERIAL_HW */

#ifdef I386_CONSOLE_HW
void init_console_hw();
void console_putchar(char ch);
#endif /* I386_CONSOLE_HW */

#endif	/* _I386_HW_H */